M.sends(k,s,v)
== concat(map(pL.tagged-messages(2of(1of(pL));s;v;2of(pL))
== concat(map;fpf-vals(product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);p.eqof(KindDeq)
== concat(map;fpf-vals(product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);p.(1of(p)
== concat(map;fpf-vals(product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);p.,k);1of(2of(2of(2of(2of(2of(
== concat(map;fpf-vals(product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);p.,k);1of(M))))))))) 

latex

Definitions	M.sends(k,s,v), concat(ll), map(f;as), tagged-messages(l;s;v;L), fpf-vals(eq;P;f), product-deq(A;B;a;b), Knd, IdLnk, IdLnkDeq, eqof(d), KindDeq, 1of(t), 2of(t)
FDL editor aliases	ma-send-val